locknd($i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase($k$; $a$.$<$$i$, $k$$>$; $l$,${\it tg}$.$<$destination($l$), $k$$>$ )